Micron Document
<!DOCTYPE html>
<html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-0 vector-toc-not-available vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-0 skin-theme-clientpref-day vector-sticky-header-enabled" lang="de" dir="ltr"><head>
<meta charset="UTF-8">
<title>Warren’s Abstract Machine</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/png" href="./_res_/favicon.png">
<link rel="canonical" href="https://de.wikipedia.org/wiki/Warren%E2%80%99s_Abstract_Machine"> <link href="./_mw_/ext.wikimediamessages.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link href="./_mw_/ext.gadget.citeRef.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.defaultPlainlinks.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonHide.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonLayout.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonStyle.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiDarkmode.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiResponsive.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.specialSearch.css" rel="stylesheet" type="text/css">
<link rel="stylesheet" type="text/css" href="./_mw_/site.styles.css">
<link rel="stylesheet" type="text/css" href="./_mw_/noscript.css">
<link rel="stylesheet" type="text/css" href="./_res_/footer.css">
<link rel="stylesheet" type="text/css" href="./_res_/vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Warren’s_Abstract_Machine rootpage-Warren’s_Abstract_Machine skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Warren’s Abstract Machine</span></h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="contentSub">
<div id="mw-content-subtitle"></div>
</div>
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p><b>Warren’s Abstract Machine</b> (WAM) bezeichnet in der <a href="Informatik" title="Informatik">Informatik</a> einen <a href="1983" title="1983">1983</a> von <a href="David_H._D._Warren" title="David H. D. Warren">David H. D. Warren</a> spezifizierten <i>idealen</i> <a href="Prozessor" title="Prozessor">Prozessor</a>, dessen <a href="Maschinensprache" title="Maschinensprache">Maschinensprache</a> als Zielsprache für <a href="Prolog_(Programmiersprache)" title="Prolog (Programmiersprache)">Prolog</a>-<a href="%C3%9Cbersetzer" title="Übersetzer">Übersetzer</a> oder -<a href="Interpreter" title="Interpreter">Interpreter</a> dient. Man spricht auch von einer <a href="Virtuelle_Maschine" title="Virtuelle Maschine">virtuellen Maschine</a>, da es den WAM-Prozessor nicht real als <a href="Hardware" title="Hardware">Hardware</a> (z.&nbsp;B. in <a href="Silicium" title="Silicium">Silicium</a> gefertigt) gibt, sondern nur als <a href="Software" title="Software">Software</a>.
</p><p>Nach der <a href="Compiler" title="Compiler">Übersetzung</a> in WAM-Code können Prolog-Programme von einer WAM-Implementierung auf dem <a href="Laufzeitsystem" class="mw-redirect" title="Laufzeitsystem">Laufzeitsystem</a> ausgeführt werden, also einem WAM-Interpreter, der diesen idealen Prozessor simuliert. Alternativ kann wie bei GNU Prolog der WAM-Code als <a href="Zwischencode" title="Zwischencode">Zwischencode</a> benutzt werden, der wiederum in einen weiteren Zwischencode namens <i>mini-assembly</i> übersetzt wird, bevor daraus die <a href="Maschinensprache" title="Maschinensprache">Maschinensprache</a> des Zielprozessors generiert wird.
</p>
<div class="mw-heading mw-heading2"><h2 id="Literatur">Literatur</h2></div>
<ul><li><a href="David_H._D._Warren" title="David H. D. Warren">Warren, David H. D.</a>: <i><a rel="nofollow" class="external text" href="https://www.sri.com/wp-content/uploads/2021/12/641.pdf">An abstract Prolog instruction set</a> (PDF; 269&nbsp;kB)</i>, Technical Note 309, SRI International, Menlo Park, CA, October 1983.</li></ul></div><!--htdig_noindex--><div><div class="zim-footer">
Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2024-11-20" href="https://de.wikipedia.org/wiki/?title=Warren%E2%80%99s_Abstract_Machine&amp;oldid=250517864">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
<script src="./_webp_/webpHandler.js"></script>

</body></html>